翻訳と辞書
Words near each other
・ Behemoth discography
・ Behemotops
・ Behenein
・ Behenian fixed star
・ Behenic acid
・ Behenjy
・ Behenna
・ Behentrimonium chloride
・ Behenu
・ Beher
・ BEHER (ham)
・ Beher (poetry)
・ Behera
・ Behavior mutation
・ Behavior of coupled DEVS
Behavior of DEVS
・ Behavior of nuclear fuel during a reactor accident
・ Behavior Rating Inventory of Executive Function
・ Behavior settings
・ Behavior Tech Computer
・ Behavior theory
・ Behavior tree
・ Behavior tree (artificial intelligence, robotics and control)
・ Behavior-altering parasites and parasitoids
・ Behavior-based robotics
・ Behavior-based safety
・ Behavior-driven development
・ Behavior-shaping constraint
・ Behavioral activation
・ Behavioral addiction


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Behavior of DEVS : ウィキペディア英語版
Behavior of DEVS

Behaviors of a given DEVS model is a set of sequences of timed events including null events, called event segments which make the model move one state to another within a set of legal states. To define this way, the concept of a set of illegal state as well a set of legal states are needed to be introduced.
In addition, since the behaviors of a given DEVS model needs to define how the state transition change both when time is passed by and when an event occurs, it has been described by a much general formalism, called general system (). In this article, we use a sub-class of General System formalism, called timed event system instead.
Depending on how to define the total state and its external state transition function of DEVS, two ways to define the behavior of a DEVS model using Timed Event System.
Since behavior of a coupled DEVS model is defined as an atomic DEVS model, behavior of coupled DEVS class is defined by timed event system.
== View 1: total states = states
* elapsed times ==
Suppose that a DEVS model,
\mathcal= has
# the external state transition \delta_:Q \times X \rightarrow S.
# the total state set Q=\ where t_e denotes elapsed time since last event and \mathbb=} so (q,\omega,q) \in \Delta.
For a total state q=(s,t_e) \in Q_A at time t \in \mathbb and an event segment \omega \in \Omega_ as follows.

If unit event segment \omega is the null event segment, i.e. \omega=\epsilon_
\, (q, \omega, (s, t_e+dt)) \in \Delta.\,

If unit event segment \omega is a timed event \omega=(x, t) where the event is an input event x \in X,

(q, \omega, (\delta_(q,x), 0)) \in \Delta.

If unit event segment \omega is a timed event \omega=(y, t) where the event is an output event or the unobservable event y \in Y^\phi,

\begin
(q, \omega,(\delta_(s), 0)) \in \Delta& \textrm ~ t_e = ta(s), y = \lambda(s)\\
(q, \omega, \bar) & \textrm.
\end


Computer algorithms to simulate this view of behavior are available at Simulation Algorithms for Atomic DEVS.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Behavior of DEVS」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.